Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis
نویسنده
چکیده
The increasing demands for highly performant, proven correct, easily maintainable, extensible programs together with the continuous growth of real-world programs strengthen the pressure for powerful and scalable program analyses for program development and code generation. Multi-core computing systems offer new chances for enhancing the scalability of program analyses, if the additional computing power offered by these systems can be used effectively. This, however, poses new challenges on the analysis side. In principle, it requires program analyses which can be easily parallelized and mapped to multi-core architectures. In this paper we remind to reverse data-flow analysis, which has been introduced and investigated in the context of demand-driven data-flow analysis, as one such class of program analyses which is particularly suitable for this.
منابع مشابه
Integrated Analysis of Choke Performance and Flow Behaviour in High-Rate, Deviated Gas-Condensate Wells
 Understanding the flow behaviour in a gas well is crucial for future production strategies, obtaining bottomhole conditions from wellhead production data, analyzing production data and estimating reservoir properties. In this work, the pressure profile and flow regime are studied on four wells of a multi-well, multi-layer gas-condensate reservoir, producing at high rate. The wells are deviate...
متن کاملA New Analytical Model for Developing Fractional Flow Curve Using Production Data
The immiscible displacement of oil by water through a porous and permeable reservoir rock can be described by the use of a fractional flow curves (fw versus Sw). Water flooding project parameters can be obtained from the fractional flow curve. However, developing a representative fractional flow curve for a specific reservoir can be quite challenging when fluid and special core analysis data is...
متن کاملLocation of compressed natural gas stations using multi-objective flow refueling location model in the two-way highways: A case study in Iran
Increasing the use of fossil fuels is with severe environmental and economic problems, bringing more attention to alternative fuels. The compressed natural gas (CNG), as an alternative fuel, offers many more benefits than gasoline or diesel fuel such as cost-effectiveness, lower pollution, better performance, and lower maintenance costs. Gas stations location and the number of gas stations are ...
متن کاملPrediction of Electrofacies Based on Flow Units Using NMR Data and SVM Method: a Case Study in Cheshmeh Khush Field, Southern Iran
The classification of well-log responses into separate flow units for generating local permeability models is often used to predict the spatial distribution of permeability in heterogeneous reservoirs. The present research can be divided into two parts; first, the nuclear magnetic resonance (NMR) log parameters are employed for developing a relationship between relaxation time and reservoir poro...
متن کاملInformation and data flow analysis for forestry sector in Iran as a basic requirement for designing a forest information system (FIS)
ABSTRACT The aim of this study was to evaluate the status of information on forest and data transfer and to identify the gaps in information and data flow in forestry sector in Iran. The study evaluated the data and information flow in three levels (control offices level, provincial offices level and organizational offices level) using the document analysis and questioning (interviews and ques...
متن کامل